Feeds to Scour
SubscribedAll
Scoured 9576 posts in 930.3 ms
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.to·1d·
Discuss: DEV
✅Format Verification
Preview
Report Post
Algebraic Topology 1: Homotopy Equivalence
youtube.com·12h
🕸️Algebraic Topology
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
Pokémon Team Optimization
nchagnet.pages.dev·2d·
Discuss: Hacker News
📈Linear programming
Preview
Report Post
An Inequality Union Find Inspired by Atomic Asymmetric Completion
philipzucker.com·6d
🤝Unification Algorithms
Preview
Report Post
Towards a General Framework for Predicting and Explaining the Hardness of Graph-based Combinatorial Optimization Problems using Machine Learning and Association Rule Mining
arxiv.org·2d
🕸️Graph Embeddings
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·2d
📐Linear Algebra
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·16h
✅Formal Methods
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·19h·
Discuss: r/compsci
📥Feed Aggregation
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🧠Machine Learning
Preview
Report Post
🎲 The Automatic Grover Algorithm
lucamarx.com·1d
⚛️Quantum Algorithms
Preview
Report Post
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.to·7h·
Discuss: DEV
📝Text Parsing
Preview
Report Post
Machine-Driven Code Review
bits.logic.inc·1d·
Discuss: Hacker News
🔄Language Evolution
Preview
Report Post
Tanya Khovanova's Math Blog
blog.tanyakhovanova.com·2d
📐Mathematical Art
Preview
Report Post
Self-Supervised Temporal Pattern Mining for circular manufacturing supply chains with embodied agent feedback loops
dev.to·6h·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
Deep Convolutional Networks on Graph-Structured Data
paperium.net·2d·
Discuss: DEV
📊Spectral Graphs
Preview
Report Post
Keeping Probabilities Honest: The Jacobian Adjustment
towardsdatascience.com·2d
🎯Arithmetic Coding Theory
Preview
Report Post
Rethinking Expense Splitting: A Graph-Based Approach with LLM Integration
dev.to·1d·
Discuss: DEV
🕸️Neo4j
Preview
Report Post
Information, Physics, and Computation (Oxford Graduate Texts): Mézard, Marc, Montanari, Andrea: 8601410201722: Amazon.com: Books
amazon.com·1d
📐Compression Mathematics
Preview
Report Post